$\forall$$m$:$\mathbb{N}$, $n$:\{0..($m$+1)$^{-}$\}. upto($m$) $\sim$ (upto($n$) @ map($\lambda$$x$.$x$+$n$;upto($m$ {-} $n$)))